Analytical benchmark test set for criticality code verification

Benchmark Description of an Advanced Burner Test Reactor and Verification of Comet for Whole Core Criticality Analysis in Fast Reactors

I dedicate this work to my loving wife, without whom I would not have had the drive to get this far. My parents, for their nurturing love and support that has allowed me to succeed. I also dedicate this to my brothers and the rest of my family, who have shaped me into what I am today. iv ACKNOWLEDGEMENTS I wish to thank my advisor Dr. Farzad Rahnema for his guidance on this work, as well as Dr....

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis

The field of numerical analysis has developed numerous benchmarks for evaluating differential and algebraic equation solvers. In this paper, we describe a set of benchmarks commonly used in numerical analysis that may also be effective for evaluating continuous and hybrid systems reachability and verification methods. Many of these examples are challenging and have highly nonlinear differential...

The Set Query Benchmark

Many of the application systems being designed today, variously known as marketing information, decision support, and management reporting systems, aim to exploit the strategic value of operational data of a commercial enterprise. These applications depart from the row-at-a-time update transaction model of the DebitCredit [1] and TPC benchmarks, and are almost wholly dependent for their perform...

Gene Set BenchMark

Consistent Metrics for Code Verification

1